C2^4.94D4 - GroupNames

G = C₂⁴.₉₄D₄ order 128 = 2⁷

49^th non-split extension by C₂⁴ of D₄ acting via D₄/C₂=C₂²

p-group, metabelian, nilpotent (class 2), monomial

Aliases: C₂⁴.₉₄D₄, C₂⁵.₃₃C₂², C₂³.₃₀₅C₂⁴, C₂⁴.₅₆₁C₂³, C₂².₁₂₃2₊¹⁺⁴, (C₂×D₄).₂₇₈D₄, (C₂³×C₄)⋊₉C₂², C₂⁴⋊₃C₄⋊₁₁C₂, (D₄×C₂³).₁₁C₂, C₂³.₁₄₈(C₂×D₄), C₂.₁₃(D₄⋊₅D₄), C₂².₁₅C₂²≀C₂, C₂³.₁₀D₄⋊₃C₂, C₂.₇(C₂³⋊₃D₄), (C₂²×C₄).₄₇C₂³, C₂³.₈Q₈⋊₂₂C₂, C₂³.₂₉₆(C₄○D₄), C₂³.₂₃D₄⋊₂₂C₂, C₂².₁₈₅(C₂²×D₄), C₂.C₄²⋊₁₆C₂², (C₂²×D₄).₄₉₈C₂², C₂²⋊₅(C₂².D₄), (C₂×C₄⋊C₄)⋊₁₀C₂², (C₂×C₄).₃₀₁(C₂×D₄), C₂.₁₂(C₂×C₂²≀C₂), (C₂×C₂²⋊C₄)⋊₁₀C₂², (C₂²×C₂²⋊C₄)⋊₁₁C₂, C₂².₁₈₄(C₂×C₄○D₄), (C₂×C₂².D₄)⋊₂C₂, C₂.₁₃(C₂×C₂².D₄), SmallGroup(128,1137)

Series: Derived ►Chief ►Lower central ►Upper central ►Jennings

Derived series

C₁ — C₂³ — C₂⁴.₉₄D₄

Chief series

C₁ — C₂ — C₂² — C₂³ — C₂⁴ — C₂³×C₄ — C₂²×C₂²⋊C₄ — C₂⁴.₉₄D₄

Lower central

C₁ — C₂³ — C₂⁴.₉₄D₄

Upper central

C₁ — C₂³ — C₂⁴.₉₄D₄

Jennings

C₁ — C₂³ — C₂⁴.₉₄D₄

Generators and relations for C₂⁴.₉₄D₄
G = < a,b,c,d,e,f | a²=b²=c²=d²=e⁴=f²=1, ab=ba, faf=ac=ca, ad=da, eae^-1=acd, ebe^-1=fbf=bc=cb, bd=db, cd=dc, ce=ec, cf=fc, de=ed, df=fd, fef=ce^-1 >

Subgroups: 1236 in 558 conjugacy classes, 124 normal (18 characteristic)
C₁, C₂, C₂, C₂, C₄, C₂², C₂², C₂², C₂×C₄, C₂×C₄, D₄, C₂³, C₂³, C₂³, C₂²⋊C₄, C₄⋊C₄, C₂²×C₄, C₂²×C₄, C₂×D₄, C₂×D₄, C₂⁴, C₂⁴, C₂⁴, C₂.C₄², C₂×C₂²⋊C₄, C₂×C₂²⋊C₄, C₂×C₄⋊C₄, C₂².D₄, C₂³×C₄, C₂²×D₄, C₂²×D₄, C₂⁵, C₂⁴⋊₃C₄, C₂⁴⋊₃C₄, C₂³.₈Q₈, C₂³.₂₃D₄, C₂³.₁₀D₄, C₂²×C₂²⋊C₄, C₂×C₂².D₄, D₄×C₂³, C₂⁴.₉₄D₄
Quotients: C₁, C₂, C₂², D₄, C₂³, C₂×D₄, C₄○D₄, C₂⁴, C₂²≀C₂, C₂².D₄, C₂²×D₄, C₂×C₄○D₄, 2₊¹⁺⁴, C₂×C₂²≀C₂, C₂×C₂².D₄, C₂³⋊₃D₄, D₄⋊₅D₄, C₂⁴.₉₄D₄

Smallest permutation representation of C₂⁴.₉₄D₄
►On 32 points

Generators in S₃₂

(1 15)(2 29)(3 13)(4 31)(5 14)(6 32)(7 16)(8 30)(9 11)(10 26)(12 28)(17 19)(18 21)(20 23)(22 24)(25 27)

(1 8)(2 29)(3 6)(4 31)(5 14)(7 16)(9 24)(10 26)(11 22)(12 28)(13 32)(15 30)(17 25)(18 21)(19 27)(20 23)

(1 13)(2 14)(3 15)(4 16)(5 29)(6 30)(7 31)(8 32)(9 17)(10 18)(11 19)(12 20)(21 26)(22 27)(23 28)(24 25)

(1 30)(2 31)(3 32)(4 29)(5 16)(6 13)(7 14)(8 15)(9 22)(10 23)(11 24)(12 21)(17 27)(18 28)(19 25)(20 26)

(1 2 3 4)(5 6 7 8)(9 10 11 12)(13 14 15 16)(17 18 19 20)(21 22 23 24)(25 26 27 28)(29 30 31 32)

(1 17)(2 12)(3 19)(4 10)(5 28)(6 22)(7 26)(8 24)(9 13)(11 15)(14 20)(16 18)(21 31)(23 29)(25 32)(27 30)

G:=sub<Sym(32)| (1,15)(2,29)(3,13)(4,31)(5,14)(6,32)(7,16)(8,30)(9,11)(10,26)(12,28)(17,19)(18,21)(20,23)(22,24)(25,27), (1,8)(2,29)(3,6)(4,31)(5,14)(7,16)(9,24)(10,26)(11,22)(12,28)(13,32)(15,30)(17,25)(18,21)(19,27)(20,23), (1,13)(2,14)(3,15)(4,16)(5,29)(6,30)(7,31)(8,32)(9,17)(10,18)(11,19)(12,20)(21,26)(22,27)(23,28)(24,25), (1,30)(2,31)(3,32)(4,29)(5,16)(6,13)(7,14)(8,15)(9,22)(10,23)(11,24)(12,21)(17,27)(18,28)(19,25)(20,26), (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32), (1,17)(2,12)(3,19)(4,10)(5,28)(6,22)(7,26)(8,24)(9,13)(11,15)(14,20)(16,18)(21,31)(23,29)(25,32)(27,30)>;

G:=Group( (1,15)(2,29)(3,13)(4,31)(5,14)(6,32)(7,16)(8,30)(9,11)(10,26)(12,28)(17,19)(18,21)(20,23)(22,24)(25,27), (1,8)(2,29)(3,6)(4,31)(5,14)(7,16)(9,24)(10,26)(11,22)(12,28)(13,32)(15,30)(17,25)(18,21)(19,27)(20,23), (1,13)(2,14)(3,15)(4,16)(5,29)(6,30)(7,31)(8,32)(9,17)(10,18)(11,19)(12,20)(21,26)(22,27)(23,28)(24,25), (1,30)(2,31)(3,32)(4,29)(5,16)(6,13)(7,14)(8,15)(9,22)(10,23)(11,24)(12,21)(17,27)(18,28)(19,25)(20,26), (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24)(25,26,27,28)(29,30,31,32), (1,17)(2,12)(3,19)(4,10)(5,28)(6,22)(7,26)(8,24)(9,13)(11,15)(14,20)(16,18)(21,31)(23,29)(25,32)(27,30) );

G=PermutationGroup([[(1,15),(2,29),(3,13),(4,31),(5,14),(6,32),(7,16),(8,30),(9,11),(10,26),(12,28),(17,19),(18,21),(20,23),(22,24),(25,27)], [(1,8),(2,29),(3,6),(4,31),(5,14),(7,16),(9,24),(10,26),(11,22),(12,28),(13,32),(15,30),(17,25),(18,21),(19,27),(20,23)], [(1,13),(2,14),(3,15),(4,16),(5,29),(6,30),(7,31),(8,32),(9,17),(10,18),(11,19),(12,20),(21,26),(22,27),(23,28),(24,25)], [(1,30),(2,31),(3,32),(4,29),(5,16),(6,13),(7,14),(8,15),(9,22),(10,23),(11,24),(12,21),(17,27),(18,28),(19,25),(20,26)], [(1,2,3,4),(5,6,7,8),(9,10,11,12),(13,14,15,16),(17,18,19,20),(21,22,23,24),(25,26,27,28),(29,30,31,32)], [(1,17),(2,12),(3,19),(4,10),(5,28),(6,22),(7,26),(8,24),(9,13),(11,15),(14,20),(16,18),(21,31),(23,29),(25,32),(27,30)]])

38 conjugacy classes

class	1	2A	···	2G	2H	···	2O	2P	···	2U	4A	···	4L	4M	4N	4O	4P
order	1	2	···	2	2	···	2	2	···	2	4	···	4	4	4	4	4
size	1	1	···	1	2	···	2	4	···	4	4	···	4	8	8	8	8

38 irreducible representations

dim

type

image

C₁

C₂

D₄

C₄○D₄

2₊¹⁺⁴

kernel

C₂⁴.₉₄D₄

C₂⁴⋊₃C₄

C₂³.₈Q₈

C₂³.₂₃D₄

C₂³.₁₀D₄

C₂²×C₂²⋊C₄

C₂×C₂².D₄

D₄×C₂³

C₂×D₄

C₂⁴

C₂³

C₂²

# reps

Matrix representation of C₂⁴.₉₄D₄ ►in GL₆(𝔽₅)

4	0	0	0	0	0
0	4	0	0	0	0
0	0	1	0	0	0
0	0	0	4	0	0
0	0	0	0	4	0
0	0	0	0	1	1

4	0	0	0	0	0
0	4	0	0	0	0
0	0	4	0	0	0
0	0	0	4	0	0
0	0	0	0	4	0
0	0	0	0	1	1

1	0	0	0	0	0
0	1	0	0	0	0
0	0	1	0	0	0
0	0	0	1	0	0
0	0	0	0	4	0
0	0	0	0	0	4

1	0	0	0	0	0
0	1	0	0	0	0
0	0	4	0	0	0
0	0	0	4	0	0
0	0	0	0	1	0
0	0	0	0	0	1

0	1	0	0	0	0
4	0	0	0	0	0
0	0	0	1	0	0
0	0	1	0	0	0
0	0	0	0	3	1
0	0	0	0	2	2

4	0	0	0	0	0
0	1	0	0	0	0
0	0	1	0	0	0
0	0	0	1	0	0
0	0	0	0	4	3
0	0	0	0	0	1

G:=sub<GL(6,GF(5))| [4,0,0,0,0,0,0,4,0,0,0,0,0,0,1,0,0,0,0,0,0,4,0,0,0,0,0,0,4,1,0,0,0,0,0,1],[4,0,0,0,0,0,0,4,0,0,0,0,0,0,4,0,0,0,0,0,0,4,0,0,0,0,0,0,4,1,0,0,0,0,0,1],[1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,4,0,0,0,0,0,0,4],[1,0,0,0,0,0,0,1,0,0,0,0,0,0,4,0,0,0,0,0,0,4,0,0,0,0,0,0,1,0,0,0,0,0,0,1],[0,4,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,3,2,0,0,0,0,1,2],[4,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,4,0,0,0,0,0,3,1] >;

C₂⁴.₉₄D₄ in GAP, Magma, Sage, TeX

C_2^4._{94}D_4

% in TeX

G:=Group("C2^4.94D4");

// GroupNames label

G:=SmallGroup(128,1137);

// by ID

G=gap.SmallGroup(128,1137);

# by ID

G:=PCGroup([7,-2,2,2,2,-2,2,2,253,758,723,100,675]);

// Polycyclic

G:=Group<a,b,c,d,e,f|a^2=b^2=c^2=d^2=e^4=f^2=1,a*b=b*a,f*a*f=a*c=c*a,a*d=d*a,e*a*e^-1=a*c*d,e*b*e^-1=f*b*f=b*c=c*b,b*d=d*b,c*d=d*c,c*e=e*c,c*f=f*c,d*e=e*d,d*f=f*d,f*e*f=c*e^-1>;

// generators/relations

G = C24.94D4 order 128 = 27

49th non-split extension by C24 of D4 acting via D4/C2=C22

G = C₂⁴.₉₄D₄ order 128 = 2⁷

49^th non-split extension by C₂⁴ of D₄ acting via D₄/C₂=C₂²